Språkmodellen ger kreativitet åt matematik-AI

Människor kan lösa geometriproblem genom att pröva sig fram med papper och penna. Bild: Josef F. Stuefer, Getty images En maskin för matematikgåtor visar hur framtidens AI kan vara uppbyggd. Traditionella AI-program som löser matematikproblem använder förprogrammerade

Sammanhang: ...På det viset fick den stor erfarenhet av hur bevis i just den här sortens matematik brukar se ut. Det ger Alphageometry en fördel jämfört med hur det har fungerat att lösa geometriproblem med sedvanliga datorprogram för matematik. ...

Omnämnda platser: New York University, USA, Chalmers. Omnämnda personer: Moa Johansson, Google Deepmind, Chat GPT.

Genombrott på väg mot AGI: Deepminds modell löser matteproblem

Vad är det som har hänt? ”Ett steg på vägen mot artificiell generell intelligens”, enligt Google Deepminds vd Demis Hassabis. Föreställ dig att din chattbot istället för att svara ögonblickligen tog sig tid att tänka över din fråga. Resonera kring den –och

Sammanhang: ...Inte minst för att Google Deepmind gjort källkoden till Alphageometry – och själva modellen – tillgänglig för allmänheten....

Omnämnda platser: Deepminds, Alphageometry. Omnämnda personer: Chat GPT, Demis Hassabis, Google Deepmind.